Next:
Hochleistungs-Termersetzung
Up:
Projekte
Previous:
Analysis Alive: Veranschaulichung mathematischer
Computer Logik (automatische Deduktion und Verifikation)
Hochleistungs-Termersetzung
Symbolische Verifikation von Schaltungsentwürfen
Paralleles und Verteiltes Beweisen
Dr. Beatrice Amrhein
Thu Mar 20 19:55:34 MET 1997
